46 research outputs found

    Boolean like algebras

    Get PDF
    Using Vaggione’s concept of central element in a double pointed algebra, we introduce the notion of Boolean like variety as a generalization of Boolean algebras to an arbitrary similarity type. Appropriately relaxing the requirement that every element be central in any member of the variety, we obtain the more general class of semi-Boolean like varieties, which still retain many of the pleasing properties of Boolean algebras. We prove that a double pointed variety is discriminator i↵ it is semi-Boolean like, idempotent, and 0-regular. This theorem yields a new Maltsev-style characterization of double pointed discriminator varieties. Moreover, we show that every idempotent semi-Boolean-like variety is term equivalent to a variety of noncommutative Boolean algebras with additional regular operations

    Algebraizable Logics

    No full text

    Quasivarieties of Algebras

    No full text

    Fregean Logics

    No full text

    Equivalential Logics

    No full text

    Protoalgebraicity and the Deduction Theorem

    No full text
    corecore